Mittelgeber :
Forschungsbericht : 1994-1996
Tel./ Fax.:
Ausgehend von funktionalen Sprachen wie SML und Haskell, beschäftigen wir uns damit, Subtypen und die Möglichkeit der Überladung von Funktionssymbolen in funktionale Sprachen einzubauen. Dabei beschreiben wir die Semantik solcher funktionaler Sprachen formal mit der Methode der denotationellen Semantik. Ein weiterer Schwerpunkt der Arbeit ist die Implementierung von Compilern für solche Sprachen. Besonderer Augenmerk wird darauf gelegt, die Sprache so zu definieren, daß einerseits der Benutzer möglichst realitätsnah programmieren kann, aber andererseits die Semantik der Sprache trotzdem eindeutig formal beschreibbar ist und ein Compiler effizienten Code erzeugen kann.
INDEX HOME SUCHEN KONTAKT LINKS
qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96